<html>
<head><meta charset="utf-8"><title>Current status summary? · t-compiler/const-eval · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/index.html">t-compiler/const-eval</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Current.20status.20summary.3F.html">Current status summary?</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="208759501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Current%20status%20summary%3F/near/208759501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jubilee <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Current.20status.20summary.3F.html#208759501">(Sep 01 2020 at 22:58)</a>:</h4>
<p>Is there a good "current state of things" or technical summary /reference somewhere for const-eval?</p>



<a name="208802049"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Current%20status%20summary%3F/near/208802049" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Current.20status.20summary.3F.html#208802049">(Sep 02 2020 at 10:03)</a>:</h4>
<p><span class="user-mention" data-user-id="281757">@Jubilee</span> does <a href="https://github.com/rust-lang/const-eval/">https://github.com/rust-lang/const-eval/</a> help?</p>



<a name="208802506"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Current%20status%20summary%3F/near/208802506" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jubilee <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Current.20status.20summary.3F.html#208802506">(Sep 02 2020 at 10:08)</a>:</h4>
<p>it would be nice if it was a poset by {implementation, stabilization, soundness}.</p>



<a name="208802535"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Current%20status%20summary%3F/near/208802535" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Current.20status.20summary.3F.html#208802535">(Sep 02 2020 at 10:09)</a>:</h4>
<p>I cannot parse that sentence, sorry</p>



<a name="208802903"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Current%20status%20summary%3F/near/208802903" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jubilee <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Current.20status.20summary.3F.html#208802903">(Sep 02 2020 at 10:13)</a>:</h4>
<p>:D Quite alright, sometimes I try to say strange things in case anyone else has a similar mental infection as I do.</p>
<p>So, my problem is that I do look at that, and I wind up e.g. opening a skill tree, and opening a feature to try to determine where its implementation or stabilization or soundness is currently at, and then I notice connected issues, and then I click on those, and then I notice connected issues, and then I click on those, and anyways I get a bit dizzy once I've made two or three laps of rust-lang/rust/issues</p>



<a name="208803017"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Current%20status%20summary%3F/near/208803017" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Current.20status.20summary.3F.html#208803017">(Sep 02 2020 at 10:14)</a>:</h4>
<p>yeah, well, there's a lot of stuff and the skilltree hopefully organizes things a bit</p>



<a name="208803053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Current%20status%20summary%3F/near/208803053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Current.20status.20summary.3F.html#208803053">(Sep 02 2020 at 10:15)</a>:</h4>
<p>I am also not sure how impl, stabilization, soundness form a dimension in any meaningful sense... if there was a dimension of progress or so hre I'd say it has points like "design, implementation, stabilization" (in that order)</p>



<a name="208803123"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Current%20status%20summary%3F/near/208803123" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Current.20status.20summary.3F.html#208803123">(Sep 02 2020 at 10:16)</a>:</h4>
<p>and yeah, it's a fair point that the skill tree does not show where on that line each feature is. feel free to open an issue about that. any proposals for how to best visualize this information?</p>



<a name="208803148"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Current%20status%20summary%3F/near/208803148" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Current.20status.20summary.3F.html#208803148">(Sep 02 2020 at 10:16)</a>:</h4>
<p>(really it's only a design vs implementation question; once things stabilize we remove them from the skill tree. I think.)</p>



<a name="208803566"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Current%20status%20summary%3F/near/208803566" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jubilee <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Current.20status.20summary.3F.html#208803566">(Sep 02 2020 at 10:22)</a>:</h4>
<p>Oh, I was assuming they could have unrelated values, just an ordering within ordering in case it was relevant.<br>
What I was thinking about when I said "soundness" is probably what you would primarily call "design" and shuffle the remainder into "implementation", as a design that later proves less sound than expected when surprises arise would require redesign (or reimplementation).</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>